algebraic logic meaning in French

logique algébrique

Boole's work founded the discipline of algebraic logic.
Le travail de Boole a fondé la discipline de la logique algébrique.
She worked in the foundations of mathematics and algebraic logic.
Elle s'est spécialisée dans les fondements des mathématiques et dans la logique algébrique.
In algebraic logic: Variables are tacitly universally quantified over some universe of discourse.
En logique algébrique: Les variables sont tacitement universellement quantifiées sur un univers du discours.
Brady (2000) discusses the rich historical connections between algebraic logic and model theory.
Brady (2000) a examiné les riches liens historiques entre la logique algébrique et la théorie des modèles.
In mathematical logic, algebraic logic is the reasoning obtained by manipulating equations with free variables.
Enlogique mathématique, la logique algébrique est le raisonnement obtenu en manipulant des équations avec des variables libres.

More: Next